Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
12 × 12 Schlüsselkonzepte zur Mathematik [[electronic resource] /] / von Oliver Deiser, Caroline Lasser, Elmar Vogt, Dirk Werner
| 12 × 12 Schlüsselkonzepte zur Mathematik [[electronic resource] /] / von Oliver Deiser, Caroline Lasser, Elmar Vogt, Dirk Werner |
| Autore | Deiser Oliver |
| Edizione | [2nd ed. 2016.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 355 S. 44 Abb., 1 Abb. in Farbe.) |
| Disciplina | 515 |
| Soggetto topico |
Mathematical analysis
Analysis (Mathematics) Matrix theory Algebra Discrete mathematics Mathematical logic Analysis Linear and Multilinear Algebras, Matrix Theory Discrete Mathematics Mathematical Logic and Foundations |
| ISBN | 3-662-47077-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | 1 Grundlagen -- 2 Zahlen -- 3 Zahlentheorie -- 4 Diskrete Mathematik -- 5 Lineare Algebra -- 6 Algebra -- 7 Elementare Analysis -- 8 Höhere Analysis -- 9 Topologie und Geometrie -- 10 Numerik -- 11 Stochastik -- 12 Mengenlehre und Logik -- Index. |
| Record Nr. | UNINA-9910484823003321 |
Deiser Oliver
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines, Alloy, B, VDM, and Z [[electronic resource] ] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
| Abstract State Machines, Alloy, B, VDM, and Z [[electronic resource] ] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XV, 378 p. 133 illus.) |
| Disciplina | 006.3/1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Theory of Computation Mathematics of Computing Discrete Mathematics in Computer Science |
| ISBN | 3-642-30885-6 |
| Classificazione | 54.53 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contribution to a Rigorous Analysis of Web Application Frameworks / Egon Börger, Antonio Cisternino and Vincenzo Gervasi -- Integrated Operational Semantics: Small-Step, Big-Step and Multi-step / Ian J. Hayes and Robert J. Colvin -- Test Generation for Sequential Nets of Abstract State Machines / Paolo Arcaini, Francesco Bolis and Angelo Gargantini -- ASM and Controller Synthesis / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Continuous ASM, and a Pacemaker Sensing Fragment / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- An ASM Model of Concurrency in a Web Browser / Vincenzo Gervasi -- Modeling the Supervisory Control Theory with Alloy / Benoît Fraikin, Marc Frappier and Richard St-Denis -- Preventing Arithmetic Overflows in Alloy / Aleksandar Milicevic and Daniel Jackson -- Extending Alloy with Partial Instances / Vajih Montaghami and Derek Rayside -- Toward a More Complete Alloy / Timothy Nelson, Daniel J. Dougherty, Kathi Fisler and Shriram Krishnamurthi -- Temporal Logic Model Checking in Alloy / Amirhossein Vakili and Nancy A. Day -- Active Attacking Multicast Key Management Protocol Using Alloy / Ting Wang and Dongyao Ji -- Formalizing Hybrid Systems with Event-B / Jean-Raymond Abrial, Wen Su and Huibiao Zhu -- SMT Solvers for Rodin / David Déharbe, Pascal Fontaine, Yoann Guyot and Laurent Voisin -- Refinement Plans for Informed Formal Design / Gudmund Grov, Andrew Ireland and Maria Teresa Llano -- Refinement by Interface Instantiation / Stefan Hallerstede and Thai Son Hoang -- Discharging Proof Obligations from Atelier B Using Multiple Automated Provers / David Mentré, Claude Marché, Jean-Christophe Filliâtre and Masashi Asuka -- A Semantic Analysis of Logics That Cope with Partial Terms / Cliff B. Jones, Matthew J. Lovert and L. Jason Steggles -- Combining VDM with Executable Code / Claus Ballegaard Nielsen, Kenneth Lausdahl and Peter Gorm Larsen -- Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions / Maximiliano Cristiá and Claudia Frydman -- A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams / Chris Marriott, Frank Zeyda and Ana Cavalcanti -- Verification of Hardware Interaction Properties of Software / Ramsay Taylor -- Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System / Matthes Elstermann, Detlef Seese and Albert Fleischmann -- A Unified Processor Model for Compiler Verification and Simulation Using ASM / Roland Lezuo and Andreas Krall -- Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs / Andrea Luzzana, Mattia Rossetti, Paolo Righettini and Patrizia Scandurra -- A Reliability Prediction Method for Abstract State Machines / Raffaela Mirandola, Pasqualina Potena and Patrizia Scandurra -- A Simplified Parallel ASM Thesis / Klaus-Dieter Schewe and Qing Wang -- Refactoring Abstract State Machine Models / Hamed Yaghoubi Shahir, Roozbeh Farahbod and Uwe Glässer -- Continuous Behaviour in Event-B: A Sketch / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Formal Verification of PLC Programs Using the B Method / Haniel Barbosa and David Déharbe -- A Practical Event-B Refinement Method Based on a UML-Driven Development Process / Thiago C. de Sousa, Paulo Sérgio Muniz Silva and Colin F. Snook -- Learn and Test for Event-B -- A Rodin Plugin / Ionut Dinca, Florentin Ipate, Laurentiu Mierla and Alin Stefanescu -- Event-B Code Generation: Type Extension with Theories / Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva and Chris Lovell -- Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project / Denis Sabatier, Lilian Burdy, Antoine Requet and Jérôme Guéry -- A Pattern for Modelling Fault Tolerant Systems in Event-B / Gintautas Sulskus and Michael Poppleton. |
| Record Nr. | UNISA-996465312903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Graph Theory [[electronic resource] /] / by Santosh Kumar Yadav
| Advanced Graph Theory [[electronic resource] /] / by Santosh Kumar Yadav |
| Autore | Yadav Santosh Kumar |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (294 pages) |
| Disciplina | 574 |
| Soggetto topico |
Graph theory
Discrete mathematics Graph Theory Applications of Discrete Mathematics Discrete Mathematics |
| ISBN | 3-031-22562-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Trees -- Planar Graphs -- Directed Graphs -- Matching and Covering -- Colouring of Graphs -- Enumeration and Pölya’s Theorem -- Spectral Properties of Graph -- Emerging Trends in Graph Theory. |
| Record Nr. | UNINA-9910731471503321 |
|
Yadav Santosh Kumar
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Parallel Processing Technologies [[electronic resource] ] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu
| Advanced Parallel Processing Technologies [[electronic resource] ] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XIX, 772 p.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Computers Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Software Engineering Computer Engineering and Networks Computer Hardware Numerical Analysis Discrete Mathematics in Computer Science |
| ISBN | 3-540-76837-8 |
| Classificazione |
004
DAT 250f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Session 1 – Advanced Microprocessor Architecture -- Session 2 – Parallel Distributed System Architectures -- Session 3 – Grid Computing -- Session 4 – Interconnection Networks -- Session 5 – Network Protocols -- Session 6 – Pervasive and Mobile Computing Architectures -- Session 7 – Task Scheduling and Load Balancing -- Session 8 – Software Engineering -- Session 8 – Other Issues. |
| Record Nr. | UNISA-996465520703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Parallel Processing Technologies [[electronic resource] ] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu
| Advanced Parallel Processing Technologies [[electronic resource] ] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XIX, 772 p.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Computers Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Software Engineering Computer Engineering and Networks Computer Hardware Numerical Analysis Discrete Mathematics in Computer Science |
| ISBN | 3-540-76837-8 |
| Classificazione |
004
DAT 250f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Session 1 – Advanced Microprocessor Architecture -- Session 2 – Parallel Distributed System Architectures -- Session 3 – Grid Computing -- Session 4 – Interconnection Networks -- Session 5 – Network Protocols -- Session 6 – Pervasive and Mobile Computing Architectures -- Session 7 – Task Scheduling and Load Balancing -- Session 8 – Software Engineering -- Session 8 – Other Issues. |
| Record Nr. | UNINA-9910484437503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Parallel Processing Technologies [[electronic resource] ] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings / / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu
| Advanced Parallel Processing Technologies [[electronic resource] ] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings / / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 526 p.) |
| Disciplina | 005.2/75 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Computers Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Software Engineering Computer Engineering and Networks Computer Hardware Numerical Analysis Discrete Mathematics in Computer Science |
| ISBN |
3-540-32107-1
3-540-29639-5 |
| Classificazione | 54.32 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speech -- Research Issues in Adapting Computing to Small Devices -- Mobile Context-Aware Systems – Linking the Physical and Digital World -- Architecture -- A Data Transformations Based Approach for Optimizing Memory and Cache Locality on Distributed Memory Multiprocessors -- A Fetch Policy Maximizing Throughput and Fairness for Two-Context SMT Processors -- A Loop Transformation Using Two Parallel Region Partitioning Method -- Criticality Based Speculation Control for Speculative Multithreaded Architectures -- Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment -- Energy Efficient United L2 Cache Design with Instruction/Data Filter Scheme -- Improving Latency Tolerance of Network Processors Through Simultaneous Multithreading -- RIMP: Runtime Implicit Predication -- Static Partitioning vs Dynamic Sharing of Resources in Simultaneous MultiThreading Microarchitectures -- Algorithm and Theory -- Autonomous-Centered Problem Allocation Oriented to Cooperation -- Contention-Free Communication Scheduling for Irregular Data Redistribution in Parallelizing Compilers -- Experiments on Asynchronous Partial Gauss-Seidel Method -- Improved Program Dependence Graph and Algorithm for Static Slicing Concurrent Programs -- Parallelisation of Sequential Programs by Invasive Composition and Aspect Weaving -- Revisiting the Election Problem in Asynchronous Distributed Systems -- Scheduling Scheme with Fairness and Adaptation in the Joint Allocation of Heterogeneous Resources -- Solving the Symmetric Tridiagonal Eigenproblem Using MPI/OpenMP Hybrid Parallelization -- Trust Management with Safe Privilege Propagation -- Vector Space Based on Hierarchical Weighting: A Component Ranking Approach to Component Retrieval -- System and Software -- A High Availability Mechanism for Parallel File System -- A User-Guided Semi-automatic Parallelization Method and Its Implementation -- CAPU: Enhancing P2P File Sharing System with Capacity Aware Topology -- Implementing Component Persistence in CCM Based on StarPSS -- Load Balancing Design Issues on Prefetch-Based DSM Systems -- Task Assignment for Network Processor Pipelines Using GA -- Test-Suite Reduction Using Genetic Algorithm -- Grid Computing -- A Constellation Model for Grid Resource Management -- An Effective Information Service Architecture in Grid Environment -- An Efficient Data Management System with High Scalability for ChinaGrid Support Platform -- CGSP: An Extensible and Reconfigurable Grid Framework -- Early Experience of Remote and Hot Service Deployment with Trustworthiness in CROWN Grid -- Grid Developing Environment in CGSP System -- Grid Job Support System in CGSP -- JFreeSim: A Grid Simulation Tool Based on MTMSMR Model -- OOML-Based Ontologies and Its Services for Information Retrieval in UDMGrid -- Networking -- A Hybrid Integrated QoS Multicast Routing Algorithm in IP/DWDM Optical Internet -- An Efficient Distributed Broadcasting Algorithm for Ad Hoc Networks -- Chaos-Based Dynamic QoS Scheme and Simulating Analysis -- Dynamic Delaunay Triangulation for Wireless Ad Hoc Network -- Energy Efficient Multipath Routing in Large Scale Sensor Networks with Multiple Sink Nodes -- FLC: A Novel Dynamic Buffer Tuner for Shortening Service Roundtrip Time over the Internet by Eliminating User-Level Buffer Overflow on the Fly -- Intelligent Congestion Avoidance in Differentiated Service Networks -- Rule-Based Anomaly Detection of Inter-domain Routing System -- Transaction of Web Services Based on Struts -- Applied Technologies -- A Method of Aggregate Query Matching in Semantic Cache for Massive Database Applications -- A Parallel Modular Exponentiation Scheme for Transformed Exponents -- Content Selection Model for Adaptive Content Delivery -- Dynamic Service Provisioning for Multiplayer Online Games -- Principal Component Analysis for Distributed Data Sets with Updating -- Priority Conscious Transaction Routing in a Real-Time Shared Disks Cluster -- Probabilistic Continuous Update Scheme in Location Dependent Continuous Queries -- SIP-Based Adaptive Multimedia Transmissions for Wired and Wireless Networks -- WM+: An Optimal Multi-pattern String Matching Algorithm Based on the WM Algorithm. |
| Record Nr. | UNISA-996465664403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Parallel Processing Technologies [[electronic resource] ] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings / / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu
| Advanced Parallel Processing Technologies [[electronic resource] ] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings / / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 526 p.) |
| Disciplina | 005.2/75 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Computers Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Software Engineering Computer Engineering and Networks Computer Hardware Numerical Analysis Discrete Mathematics in Computer Science |
| ISBN |
3-540-32107-1
3-540-29639-5 |
| Classificazione | 54.32 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speech -- Research Issues in Adapting Computing to Small Devices -- Mobile Context-Aware Systems – Linking the Physical and Digital World -- Architecture -- A Data Transformations Based Approach for Optimizing Memory and Cache Locality on Distributed Memory Multiprocessors -- A Fetch Policy Maximizing Throughput and Fairness for Two-Context SMT Processors -- A Loop Transformation Using Two Parallel Region Partitioning Method -- Criticality Based Speculation Control for Speculative Multithreaded Architectures -- Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment -- Energy Efficient United L2 Cache Design with Instruction/Data Filter Scheme -- Improving Latency Tolerance of Network Processors Through Simultaneous Multithreading -- RIMP: Runtime Implicit Predication -- Static Partitioning vs Dynamic Sharing of Resources in Simultaneous MultiThreading Microarchitectures -- Algorithm and Theory -- Autonomous-Centered Problem Allocation Oriented to Cooperation -- Contention-Free Communication Scheduling for Irregular Data Redistribution in Parallelizing Compilers -- Experiments on Asynchronous Partial Gauss-Seidel Method -- Improved Program Dependence Graph and Algorithm for Static Slicing Concurrent Programs -- Parallelisation of Sequential Programs by Invasive Composition and Aspect Weaving -- Revisiting the Election Problem in Asynchronous Distributed Systems -- Scheduling Scheme with Fairness and Adaptation in the Joint Allocation of Heterogeneous Resources -- Solving the Symmetric Tridiagonal Eigenproblem Using MPI/OpenMP Hybrid Parallelization -- Trust Management with Safe Privilege Propagation -- Vector Space Based on Hierarchical Weighting: A Component Ranking Approach to Component Retrieval -- System and Software -- A High Availability Mechanism for Parallel File System -- A User-Guided Semi-automatic Parallelization Method and Its Implementation -- CAPU: Enhancing P2P File Sharing System with Capacity Aware Topology -- Implementing Component Persistence in CCM Based on StarPSS -- Load Balancing Design Issues on Prefetch-Based DSM Systems -- Task Assignment for Network Processor Pipelines Using GA -- Test-Suite Reduction Using Genetic Algorithm -- Grid Computing -- A Constellation Model for Grid Resource Management -- An Effective Information Service Architecture in Grid Environment -- An Efficient Data Management System with High Scalability for ChinaGrid Support Platform -- CGSP: An Extensible and Reconfigurable Grid Framework -- Early Experience of Remote and Hot Service Deployment with Trustworthiness in CROWN Grid -- Grid Developing Environment in CGSP System -- Grid Job Support System in CGSP -- JFreeSim: A Grid Simulation Tool Based on MTMSMR Model -- OOML-Based Ontologies and Its Services for Information Retrieval in UDMGrid -- Networking -- A Hybrid Integrated QoS Multicast Routing Algorithm in IP/DWDM Optical Internet -- An Efficient Distributed Broadcasting Algorithm for Ad Hoc Networks -- Chaos-Based Dynamic QoS Scheme and Simulating Analysis -- Dynamic Delaunay Triangulation for Wireless Ad Hoc Network -- Energy Efficient Multipath Routing in Large Scale Sensor Networks with Multiple Sink Nodes -- FLC: A Novel Dynamic Buffer Tuner for Shortening Service Roundtrip Time over the Internet by Eliminating User-Level Buffer Overflow on the Fly -- Intelligent Congestion Avoidance in Differentiated Service Networks -- Rule-Based Anomaly Detection of Inter-domain Routing System -- Transaction of Web Services Based on Struts -- Applied Technologies -- A Method of Aggregate Query Matching in Semantic Cache for Massive Database Applications -- A Parallel Modular Exponentiation Scheme for Transformed Exponents -- Content Selection Model for Adaptive Content Delivery -- Dynamic Service Provisioning for Multiplayer Online Games -- Principal Component Analysis for Distributed Data Sets with Updating -- Priority Conscious Transaction Routing in a Real-Time Shared Disks Cluster -- Probabilistic Continuous Update Scheme in Location Dependent Continuous Queries -- SIP-Based Adaptive Multimedia Transmissions for Wired and Wireless Networks -- WM+: An Optimal Multi-pattern String Matching Algorithm Based on the WM Algorithm. |
| Record Nr. | UNINA-9910484034203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances and applications in discrete mathematics
| Advances and applications in discrete mathematics |
| Pubbl/distr/stampa | Allahabad, India : , : Pushpa Publishing House |
| Descrizione fisica | 1 online resource (volumes) |
| Soggetto topico |
Discrete mathematics
Computer science - Mathematics Informatique - Mathématiques Mathématiques discrètes |
| Soggetto genere / forma |
Electronic journals.
Periodical periodicals. Periodicals. Périodiques. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | AADM |
| Record Nr. | UNINA-9910338723803321 |
| Allahabad, India : , : Pushpa Publishing House | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computer Games [[electronic resource] ] : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers / / edited by Mark H.M. Winands, H. Jaap van den Herik, Walter A. Kosters
| Advances in Computer Games [[electronic resource] ] : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers / / edited by Mark H.M. Winands, H. Jaap van den Herik, Walter A. Kosters |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XX, 235 p. 117 illus.) |
| Disciplina | 794.8 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Artificial intelligence Computer science Computer networks Computer science—Mathematics Discrete mathematics Software engineering Artificial Intelligence Theory of Computation Computer Communication Networks Discrete Mathematics in Computer Science Software Engineering |
| ISBN | 3-319-71649-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analytical Solution for “EinStein würfelt nicht!" with One Stone -- Toward Solving EinStein würfelt nicht! -- Analysis of Fred Horn's Gloop Puzzle -- Set Matching: An Enhancement of the Hales-Jewett Pairing Strategy Playing Hanabi Near-Optimally Optimal Play of the Farkle Dice GameDeep df-pn and its Efficient Implementations -- Improved Policy Networks for Computer Go -- Exploring Positional Linear Go -- Influence of Search Depth on Position Evaluation -- Evaluating Chess-like Games Using Generated Natural Language Descriptions -- Machine Learning in the Game of Breakthrough -- A Curling Agent Based on the Monte-Carlo Tree Search Considering the Similarity of the Best Action among Similar States -- Exploration Bonuses Based on Upper Confidence Bounds for Sparse Developing a 2048 Player with Backward Temporal Coherence Learning and Restart -- A Little Bit of Frustration Can Go a Long Way -- Automated Adaptation and Assessment in Serious Games: A Portable Tool for Supporting Learning -- An Analysis of Majority Voting in Homogeneous Groups for Checkers: Understanding Group Performance through Unbalance -- Yasol: An Open Source Solver for Quantified Mixed Integer Programs. |
| Record Nr. | UNISA-996465764103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Computer Games [[electronic resource] ] : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers / / edited by Mark H.M. Winands, H. Jaap van den Herik, Walter A. Kosters
| Advances in Computer Games [[electronic resource] ] : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers / / edited by Mark H.M. Winands, H. Jaap van den Herik, Walter A. Kosters |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XX, 235 p. 117 illus.) |
| Disciplina | 794.8 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Artificial intelligence Computer science Computer networks Computer science—Mathematics Discrete mathematics Software engineering Artificial Intelligence Theory of Computation Computer Communication Networks Discrete Mathematics in Computer Science Software Engineering |
| ISBN | 3-319-71649-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analytical Solution for “EinStein würfelt nicht!" with One Stone -- Toward Solving EinStein würfelt nicht! -- Analysis of Fred Horn's Gloop Puzzle -- Set Matching: An Enhancement of the Hales-Jewett Pairing Strategy Playing Hanabi Near-Optimally Optimal Play of the Farkle Dice GameDeep df-pn and its Efficient Implementations -- Improved Policy Networks for Computer Go -- Exploring Positional Linear Go -- Influence of Search Depth on Position Evaluation -- Evaluating Chess-like Games Using Generated Natural Language Descriptions -- Machine Learning in the Game of Breakthrough -- A Curling Agent Based on the Monte-Carlo Tree Search Considering the Similarity of the Best Action among Similar States -- Exploration Bonuses Based on Upper Confidence Bounds for Sparse Developing a 2048 Player with Backward Temporal Coherence Learning and Restart -- A Little Bit of Frustration Can Go a Long Way -- Automated Adaptation and Assessment in Serious Games: A Portable Tool for Supporting Learning -- An Analysis of Majority Voting in Homogeneous Groups for Checkers: Understanding Group Performance through Unbalance -- Yasol: An Open Source Solver for Quantified Mixed Integer Programs. |
| Record Nr. | UNINA-9910484078603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Discrete mathematics
(1409)
- Discrete Mathematics in Computer Science (1256)
- Computer science—Mathematics (1211)
- Algorithms (1064)
- Computer science (580)